Lenses for View Synchronization in Metamodel-Based Multi-View Modeling

When using multiple views to describe a system, the underlying models of these views have to be kept consistent, which is called model synchronization. Manually implemented model synchronizations that are not simple bijections are hard to maintain and to reason about. Special languages for expressing bidirectional transformations can help in this respect, but existing languages applicable in model-driven engineering are often restricted to bijections or complex to use. I adapt lenses, a promising term-rewriting-based approach to bidirectional transformations, to model synchronization. This allows for flexible view synchronization that can be integrated with existing metamodel-based technologies.